Tests and Proofs - 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings
- Författare
- (Edited by Sebastian Gabmeyer, Einar Broch Johnsen.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing, Imprint: Springer | 2017 | Tyskland, Cham | XI, 163 sidor. 38 illus. online resource. | 978-3-319-61467-0 |